Sine Rule Discovery

A_1 = (0, 0)
B_1 = (7.25, 0)
c_1 = Circle(A_1, B_1)
A = Point(c_1)
C = Point(c_1)
B = Point(c_1)
c = Segment(A, B)
a = Segment(B, C)
b = Segment(C, A)
α = Angle(B, A, C)
β = Angle(A, C, B)
γ = Angle(C, B, A)
rata: a / sin(α)
text1: "\frac{a}{sin(A)}=\frac{" + (LaTeX[a]) + "}{sin(" + (LaTeX[α]) + ")}=" + (LaTeX[rata]) + ""
ratb: b / sin(γ)
ratc: c / sin(β)
text2: "\frac{b}{sin(B)}=\frac{" + (LaTeX[b]) + "}{sin(" + (LaTeX[γ]) + ")}=" + (LaTeX[ratb]) + ""
text3: "\frac{c}{sin(C)}=\frac{" + (LaTeX[c]) + "}{sin(" + (LaTeX[β]) + ")}=" + (LaTeX[ratc]) + ""